two-column proofs